Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
101	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base
102	A Possible Theoretical Mass of the Universe Calculated Using The Friedman Dust Universe Model with Einstein’s Lambda James G. Gilson School of Mathematical Sciences Add to Reading List Source URL: www.fine-structure-constant.org Language: English - Date: 2012-11-15 12:30:09 Physical cosmology General relativity Exact solutions in general relativity Mass Albert Einstein Cosmological constant Friedmann equations Dark energy Equation of state Negative mass Cosmology Dimensionless physical constant
103	Variance of the subgraph count for sparse Erd˝ os-R´ enyi graphs Robert B. Ellis a,1,∗ , James P. Ferry b,1 a Department Add to Reading List Source URL: math.iit.edu Language: English - Date: 2009-09-14 16:32:12 Graph theory Morphisms Mathematical logic Model theory Structure Universal algebra Graph isomorphism Two-graph Covering graph
104	A Constraint Solver for PHP Arrays Ivan Enderlin1 , Alain Giorgetti, Fabrice Bouquet March 22th, 2013 CSTVA, Luxembourg Add to Reading List Source URL: keynote.hoa-project.net Language: English - Date: 2013-12-16 18:13:31 Scripting languages PHP Data types Mathematical modeling Object-oriented programming languages Constraint programming AMPL Array data type Praspel Array data structure Associative array
105	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
106	2016 V00 0: pp. 1–50 DOI: REAL ESTATE ECONOMICS Add to Reading List Source URL: realestate.wharton.upenn.edu Language: English - Date: 2016-03-30 11:13:38 Management Mathematical finance Corporate finance Technical analysis Debt Real estate investment trust Leverage Management entrenchment Volatility Capital structure Financial crisis of 200708 Corporate governance
107	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
108	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Theoretical computer science Bigraph Logic in computer science Programming language semantics Mathematical logic Operational semantics ALGOL 68 Structure Actor model Modal logic
109	Physical Applicability of Self Gravitating Isothermal Sphere Equilibrium Theory to Dark Matter Galactic Halos James G. Gilson School of Mathematical Sciences Queen Mary University of London Add to Reading List Source URL: www.fine-structure-constant.org Language: English - Date: 2012-11-15 12:30:45 Mechanical engineering Astrophysics LaneEmden equation Dimensional analysis Laws of science Equation of state
110	Structures Cell Decomposition Dimension and Euler Characteristic Definable Families and Collections Adding more Structure Tame Topology and O-Minimal Structures University of Illinois Urbana-Champaign Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-06-17 14:33:02 Model theory Algebraic topology Real algebraic geometry Mathematical structures Mathematical logic O-minimal theory Euler characteristic Definable set CW complex Topology Structure Semialgebraic set